On the expressibility of stable logic programming

On the Expressibility of Stable Logic Programming

Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class NP . Moreover, we do this in a uniform way as defined in (MT99). Specifically, we show that there is a single DATALOG¬ program PTrg such that given any Turing machine M , any polynomial p with non-negative integer coeffi...

On Eliminating Disjunctions in Stable Logic Programming

Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge representation and reasoning. However, disjunction is often not really needed, in that an equivalent program without disjunction can be given. In this paper, we consider the question, given a disjunctive logic program, P ,...

The Stable Model Semantics for Logic Programming

On inter-expressibility of logical connectives in Gödel fuzzy logic

In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives. In classical propositional logic, propositions are associated with two truth values 1 (truth) and 0 (falsity). In fuzzy logics further (intermediate) truth values lying between 0 and 1 are possible. Usually the truth values are linearly ordered ...

survey on the rule of the due & hindering relying on the sheikh ansaris ideas

قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...